Optimal. Leaf size=31 \[ b \sin (a) \text {Ci}\left (\frac {b}{x}\right )+b \cos (a) \text {Si}\left (\frac {b}{x}\right )+x \cos \left (a+\frac {b}{x}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.07, antiderivative size = 31, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 5, integrand size = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.625, Rules used = {3362, 3297, 3303, 3299, 3302} \[ b \sin (a) \text {CosIntegral}\left (\frac {b}{x}\right )+b \cos (a) \text {Si}\left (\frac {b}{x}\right )+x \cos \left (a+\frac {b}{x}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3297
Rule 3299
Rule 3302
Rule 3303
Rule 3362
Rubi steps
\begin {align*} \int \cos \left (a+\frac {b}{x}\right ) \, dx &=-\operatorname {Subst}\left (\int \frac {\cos (a+b x)}{x^2} \, dx,x,\frac {1}{x}\right )\\ &=x \cos \left (a+\frac {b}{x}\right )+b \operatorname {Subst}\left (\int \frac {\sin (a+b x)}{x} \, dx,x,\frac {1}{x}\right )\\ &=x \cos \left (a+\frac {b}{x}\right )+(b \cos (a)) \operatorname {Subst}\left (\int \frac {\sin (b x)}{x} \, dx,x,\frac {1}{x}\right )+(b \sin (a)) \operatorname {Subst}\left (\int \frac {\cos (b x)}{x} \, dx,x,\frac {1}{x}\right )\\ &=x \cos \left (a+\frac {b}{x}\right )+b \text {Ci}\left (\frac {b}{x}\right ) \sin (a)+b \cos (a) \text {Si}\left (\frac {b}{x}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.03, size = 31, normalized size = 1.00 \[ b \sin (a) \text {Ci}\left (\frac {b}{x}\right )+b \cos (a) \text {Si}\left (\frac {b}{x}\right )+x \cos \left (a+\frac {b}{x}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.15, size = 45, normalized size = 1.45 \[ b \cos \relax (a) \operatorname {Si}\left (\frac {b}{x}\right ) + x \cos \left (\frac {a x + b}{x}\right ) + \frac {1}{2} \, {\left (b \operatorname {Ci}\left (\frac {b}{x}\right ) + b \operatorname {Ci}\left (-\frac {b}{x}\right )\right )} \sin \relax (a) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.34, size = 132, normalized size = 4.26 \[ \frac {a b^{2} \operatorname {Ci}\left (-a + \frac {a x + b}{x}\right ) \sin \relax (a) - a b^{2} \cos \relax (a) \operatorname {Si}\left (a - \frac {a x + b}{x}\right ) - \frac {{\left (a x + b\right )} b^{2} \operatorname {Ci}\left (-a + \frac {a x + b}{x}\right ) \sin \relax (a)}{x} + \frac {{\left (a x + b\right )} b^{2} \cos \relax (a) \operatorname {Si}\left (a - \frac {a x + b}{x}\right )}{x} - b^{2} \cos \left (\frac {a x + b}{x}\right )}{{\left (a - \frac {a x + b}{x}\right )} b} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.05, size = 39, normalized size = 1.26 \[ -b \left (-\frac {\cos \left (a +\frac {b}{x}\right ) x}{b}-\Si \left (\frac {b}{x}\right ) \cos \relax (a )-\Ci \left (\frac {b}{x}\right ) \sin \relax (a )\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [C] time = 1.90, size = 57, normalized size = 1.84 \[ \frac {1}{2} \, {\left ({\left (-i \, {\rm Ei}\left (\frac {i \, b}{x}\right ) + i \, {\rm Ei}\left (-\frac {i \, b}{x}\right )\right )} \cos \relax (a) + {\left ({\rm Ei}\left (\frac {i \, b}{x}\right ) + {\rm Ei}\left (-\frac {i \, b}{x}\right )\right )} \sin \relax (a)\right )} b + x \cos \left (\frac {a x + b}{x}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.03 \[ \int \cos \left (a+\frac {b}{x}\right ) \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \cos {\left (a + \frac {b}{x} \right )}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________